<html>
<head><meta charset="utf-8"><title>Styling update · t-compiler/wg-rustc-dev-guide · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/index.html">t-compiler/wg-rustc-dev-guide</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html">Styling update</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="194299984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194299984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Paul Faria <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194299984">(Apr 16 2020 at 13:05)</a>:</h4>
<p>I was curious if we have the ability to update styling at all. My idea is to fix how links are scrolled to, particularly in the glossary where the entire item can be hidden behind the header. I was thinking something simple like this: <a href="https://stackoverflow.com/a/13117744/1483396" title="https://stackoverflow.com/a/13117744/1483396">https://stackoverflow.com/a/13117744/1483396</a> but curious if that's something we have access to in markdown (in the worst case, in-page styling could be an optioin, but would be terrible for maintainability).</p>



<a name="194300082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194300082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Paul Faria <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194300082">(Apr 16 2020 at 13:05)</a>:</h4>
<p>I started a new job recently, so my time is very limited. I could probably start after work (US EST) if everyone's up for the idea</p>



<a name="194317686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194317686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194317686">(Apr 16 2020 at 15:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116114">@Paul Faria</span> It's a good question. I definitely find that annoying too...</p>



<a name="194317734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194317734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194317734">(Apr 16 2020 at 15:03)</a>:</h4>
<p>I think mdbook has some sort of styling feature, but I have never attempted to see what it is capable of</p>



<a name="194317825"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194317825" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194317825">(Apr 16 2020 at 15:03)</a>:</h4>
<p>On the other hand, this seems to me more like a bug that should be fixed by mdbook: the header should push the content down rather than hovering over it.</p>



<a name="194317961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194317961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194317961">(Apr 16 2020 at 15:04)</a>:</h4>
<p>I would personally prefer to fix it in mdbook rather than hack around it in rustc-dev-guide... if it's not too much work, anyway</p>



<a name="194391184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194391184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Paul Faria <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194391184">(Apr 17 2020 at 02:48)</a>:</h4>
<p>I have a small functioning prototype here. I think this can be done without affecting too much. I might be doable within even book.css rather than on any pages: <a href="http://jsfiddle.net/j153ndt2/5/" title="http://jsfiddle.net/j153ndt2/5/">http://jsfiddle.net/j153ndt2/5/</a></p>



<a name="194391186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194391186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Paul Faria <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194391186">(Apr 17 2020 at 02:48)</a>:</h4>
<p>I'll follow back up on this tomorrow morning if I have time. If not then tomorrow evening or late Saturday.</p>



<a name="194436962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194436962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Paul Faria <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194436962">(Apr 17 2020 at 13:09)</a>:</h4>
<p>Latest iteration from this morning. Going to continue after work: <a href="http://jsfiddle.net/s13b8pwu/1/" title="http://jsfiddle.net/s13b8pwu/1/">http://jsfiddle.net/s13b8pwu/1/</a></p>



<a name="194754450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling%20update/near/194754450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Paul Faria <a href="https://rust-lang.github.io/zulip_archive/stream/196385-t-compiler/wg-rustc-dev-guide/topic/Styling.20update.html#194754450">(Apr 21 2020 at 02:05)</a>:</h4>
<p>Bit of a delay, surprisingly busy weekend considering I was stuck at home. I filed <a href="https://github.com/rust-lang/mdBook/issues/1198" title="https://github.com/rust-lang/mdBook/issues/1198">https://github.com/rust-lang/mdBook/issues/1198</a> and might also end up fixing <a href="https://github.com/rust-lang/mdBook/issues/1102" title="https://github.com/rust-lang/mdBook/issues/1102">https://github.com/rust-lang/mdBook/issues/1102</a> with this as well. Still working on it but figured I'd track it to avoid the possibility of duplicate work.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>